Automated deduction - CADE-12 - proceedings
- Författare
- Alan Bundy International Conference on Automated Deduction 1994) Nancy :
- (12th International Conference on Automated Deduction, Nancy, France, June 26-July 1, 1994 Alan Bundy (ed.).)
- Genre
- Konferenser, Ej skönlitteratur, Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer-Vlg | cop. 1994 | Tyskland, Berlin, New York | 848 sidor. |